java/Graph Editor/src/controllers/actions/AddEdge.java

   1 package controllers.actions;
   2 import javax.swing.undo.AbstractUndoableEdit;
   3
   4 import models.GraphEdge;
   5 import models.GraphVertex;
   6 import controllers.*;
   7
   8 public class AddEdge extends AbstractUndoableEdit {
   9         private static final long serialVersionUID = -7929100929760152271L;
  10         private GraphEdge o;
  11         private SelectionController selectionController;
  12
  13         public AddEdge(GraphVertex a, GraphVertex b,SelectionController selectionController)
  14         {
  15                 o = new GraphEdge(a,b);
  16                 this.selectionController = selectionController;
  17                 redoAction();
  18         }
  19
  20         private void redoAction()
  21         {
  22                 selectionController.getModel().addEdge(o);
  23         }
  24
  25         public void redo()
  26         {
  27                 super.redo();
  28                 redoAction();
  29         }
  30
  31         public void undo()
  32         {
  33                 super.undo();
  34                 selectionController.getModel().removeEdge(o);
  35         }
  36
  37         public boolean isSignificant(){
  38                 return true;
  39         }
  40
  41         public String getPresentationName(){
  42                 return "Edge toevoegen.";
  43         }
  44 }